(timer_check): Preserve the value of deactivate-mark.
authorGerd Moellmann <gerd@gnu.org>
Thu, 15 Mar 2001 16:31:21 +0000 (16:31 +0000)
committerGerd Moellmann <gerd@gnu.org>
Thu, 15 Mar 2001 16:31:21 +0000 (16:31 +0000)
commit2a8b8247a828631f9c0203a83e6900273d7ad4ba
tree6a11fd99918fe8560e7360795df01a5cae2f56f4
parenteb4f1aa35834c1d34c29e8a2f152bbbdc41b5706
(timer_check): Preserve the value of deactivate-mark.
(command_loop_1): Undo last change.
src/keyboard.c